KARAKTERISTIK ENDAPAN NIKEL LATERIT BLOK O DAERAH BUNTA, KABUPATEN BANGGAI

Euler-karakteristik for fusionskategorier

On the Blok-Esakia Theorem

We discuss the celebrated Blok-Esakia theorem on the isomorphism between the lattices of extensions of intuitionistic propositional logic and the Grzegorczyk modal system. In particular, we present the original algebraic proof of this theorem found by Blok, and give a brief survey of generalisations of the Blok-Esakia theorem to extensions of intuitionistic logic with modal operators and coimpl...

Willem Blok and Modal Logic

We present our personal view on W.J. Blok’s contribution to modal logic.

Preface: In memory of Wim Blok

algebraic logic: Full models, Frege systems, and metalogical properties he formulates an institutional analogue of the property of congruence and analyses how it helps in the preservation of other metalogical properties such as conjunction, disjunction, the deduction-detachment theorem, and two versions of reductio ad absurdum. In partial contrast, Raftery’s paper The equational definability of...

Pemanfaatan Teknologi Sistem Informasi Geografis Untuk Menunjang Pembangunan Daerah

The territory development will depend on that territory itself, where the word of autonomy for each province or territory will give contribution how Indonesian will responsible for development their territory. In order to develop territory, the information technology can be used as a boost or tools to give and deliver the best information and Geographic Information System is one of the informat...